Schreye, Danny De: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the existence of nonterminating queries for a restricted class of PROLOG-clauses

Danny de Schreye, Maurice Bruynooghe, Kristof Verschaetse

Journal:

Artificial Intelligence

Year:

1989

Language:

english

File:

PDF, 557 KB

english, 1989

2

Termination of logic programs: the never-ending story

Danny de Schreye, Stefaan Decorte

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 4.80 MB

english, 1994

3

On the relation between situation calculus and event calculus

Kristof Van Belleghem, Marc Denecker, Danny De Schreye

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 1.80 MB

english, 1997

4

Sound and complete partial deduction with unfolding based on well-founded measures

Bern Martens, Danny De Schreye, Tamás Horváth

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.44 MB

english, 1994

5

Termination proofs for logic programs with tabling

Verbaeten, Sofie, Schreye, Danny De, Sagonas, Konstantinos

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 287 KB

english, 2001

6

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

NGUYEN, MANH THANG, DE SCHREYE, DANNY, GIESL, JÜRGEN, SCHNEIDER-KAMP, PETER

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 290 KB

english, 2011

7

Non-termination analysis of logic programs with integer arithmetics

VOETS, DEAN, DE SCHREYE, DANNY

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 303 KB

english, 2011

8

On the duality of abduction and model generation in a framework for model generation with equality

Marc Denecker, Danny De Schreye

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.81 MB

english, 1994

9

Compiling control

Maurice Bruynooghe, Danny De Schreye, Bruno Krekels

Journal:

The Journal of Logic Programming

Year:

1989

Language:

english

File:

PDF, 1.78 MB

english, 1989

10

Why untyped nonground metaprogramming is not (much of) a problem

Bern Martens, Danny de Schreye

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 3.86 MB

english, 1995

11

Automatic finite unfolding using well-founded measures

Bern Martens, Danny De Schreye

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 3.13 MB

english, 1996

12

Creating specialised integrity checks through partial evaluation of meta-interpreters

Michael Leuschel, Danny De Schreye

Journal:

The Journal of Logic Programming

Year:

1998

Language:

english

File:

PDF, 2.45 MB

english, 1998

13

Compositionality of normal open logic programs

Sofie Verbaeten, Marc Denecker, Danny de Schreye

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 252 KB

english, 2000

14

Conjunctive partial deduction: foundations, control, algorithms, and experiments

Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 381 KB

english, 1999

15

On the transformation of logic programs with instantiation based computation rules

Danny de Schreye, Maurice Bruynooghe

Journal:

Journal of Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 1.75 MB

english, 1989

16

Constrained partial deduction and the preservation of characteristic trees

Michael Leuschel, Danny de Schreye

Journal:

New Generation Computing

Year:

1998

Language:

english

File:

PDF, 3.14 MB

english, 1998

17

Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism

Sofie Verbaeten, Danny De Schreye

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2001

Language:

english

File:

PDF, 275 KB

english, 2001

18

Termination of Floating-Point Computations

Alexander Serebrenik, Danny De Schreye

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 403 KB

english, 2005

19

A general criterion for avoiding infinite unfolding during partial deduction

Maurice Bruynooghe, Danny De Schreye, Bern Martens

Journal:

New Generation Computing

Year:

1992

Language:

english

File:

PDF, 1.55 MB

english, 1992

20

Deriving linear size relations for logic programs by abstract interpretation

Danny De Schreye, Kristof Verschaetse

Journal:

New Generation Computing

Year:

1995

Language:

english

File:

PDF, 1.74 MB

english, 1995

21

SLDNFA: An abductive procedure for abductive logic programs

Marc Denecker, Danny de Schreye

Journal:

The Journal of Logic Programming

Year:

1998

Language:

english

File:

PDF, 3.36 MB

english, 1998

22

Representing Incomplete Knowledge in Abductive Logic Programming

DENECKER, MARC, de SCHREYE, DANNY

Journal:

Journal of Logic and Computation

Year:

1995

Language:

english

File:

PDF, 1.25 MB

english, 1995

23

Controlling generalization and polyvariance in partial deduction of normal logic programs

Leuschel, Michael, Martens, Bern, De Schreye, Danny

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

Language:

english

File:

PDF, 890 KB

english, 1998

24

[ACM Press the 1995 ACM SIGPLAN symposium - La Jolla, California, United States (1995.06.21-1995.06.23)] Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95 - Towards creating specialised integrity checks through partial evaluation of meta-interpreters

Leuschel, Michael, De Schreye, Danny

Year:

1995

Language:

english

File:

PDF, 1.19 MB

english, 1995

25

On termination of meta-programs

SEREBRENIK, ALEXANDER, DE SCHREYE, DANNY

Journal:

Theory and Practice of Logic Programming

Year:

2005

Language:

english

File:

PDF, 264 KB

english, 2005

26

Termination prediction for general logic programs

SHEN, YI-DONG, SCHREYE, DANNY DE, VOETS, DEAN

Journal:

Theory and Practice of Logic Programming

Year:

2009

Language:

english

File:

PDF, 391 KB

english, 2009

27

Inference of termination conditions for numerical loops in Prolog

SEREBRENIK, ALEXANDER, DE SCHREYE, DANNY

Journal:

Theory and Practice of Logic Programming

Year:

2004

Language:

english

File:

PDF, 252 KB

english, 2004

28

Probabilistic legal reasoning in CHRiSM

SNEYERS, JON, DE SCHREYE, DANNY, FRÜHWIRTH, THOM

Journal:

Theory and Practice of Logic Programming

Year:

2013

Language:

english

File:

PDF, 136 KB

english, 2013

29

Abstract conjunctive partial deduction for the analysis and compilation of coroutines

Vincent Nys,Danny De Schreye

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.15 MB

english, 2017